A simplified embedding of E into monomodal K
نویسنده
چکیده
In this paper we will provide a modal-to-modal translational embedding of E into K, simplifying a similar result which is obtainable using a novel translation due to S.K. Thomason.
منابع مشابه
Embeddings of Propositional Monomodal Logics
The aim of this paper is to investigate the expressibility of classical propositional monomodal logics. To this end, a notion of embedding of one logic into another is introduced, which is, roughly, a translation preserving theoremhood. This enables to measure the expressibility of a logic by a (finite or infinite) number of logics embeddable into it. This measure is calculated here for a large...
متن کاملImage Steganalysis Based on Co-Occurrences of Integer Wavelet Coefficients
We present a steganalysis scheme for LSB matching steganography based on feature vectors extracted from integer wavelet transform (IWT). In integer wavelet decomposition of an image, the coefficients will be integer, so we can calculate co-occurrence matrix of them without rounding the coefficients. Before calculation of co-occurrence matrices, we clip some of the most significant bitplanes of ...
متن کاملAutomating Access Control Logics in Simple Type Theory with LEO-II
Garg and Abadi recently proved that prominent access control logics can be translated in a sound and complete way into modal logic S4. We have previously outlined how normal multimodal logics, including monomodal logics K and S4, can be embedded in simple type theory and we have demonstrated that the higher-order theorem prover LEO-II can automate reasoning in and about them. In this paper we c...
متن کاملAssociation of the whole blood potassium polymorphism with resistant to saline in two sheep breeds of different climates of Iran
Abstract The whole blood potassium concentration has shown the bimodal distribution in sheep, which has been classified into LK and HK types; HK allele is recessive to LK with a single gene inheritance. This polymorphism showed different behavior in different environment, which could be due to adaptation process. This research was conducted on the Zel and kermani breed research station, which...
متن کاملAn extended feature set for blind image steganalysis in contourlet domain
The aim of image steganalysis is to detect the presence of hidden messages in stego images. We propose a blind image steganalysis method in Contourlet domain and then show that the embedding process changes statistics of Contourlet coefficients. The suspicious image is transformed into Contourlet space, and then the statistics of Contourlet subbands coefficients are extracted as features. We us...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Logic Journal of the IGPL
دوره 17 شماره
صفحات -
تاریخ انتشار 2009